More from this Author
Found 6 books by Ivan Lanese (Editor)
Reversible Computation
by Ivan Lanese (Editor), Mariusz Rawski (Editor)
Formal Techniques for Distributed Objects, Components, and Systems
by Elvira Albert (Editor), Ivan Lanese (Editor)
Reversible Computation
by Simon Devitt (Editor), Ivan Lanese (Editor)
Theoretical Computer Science
by Josep Diaz (Editor), Ivan Lanese (Editor), Davide Sangiorgi (Editor)
Formal Techniques for Distributed Objects, Components, and Systems
by Elvira Albert (Editor), Ivan Lanese (Editor)
Formal Aspects of Component Software
by Ivan Lanese (Editor), Eric Madelaine (Editor)